Inductive c := .